Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
261	Exploiting Graph Structure to Summarize and Compress Relational Knowledge Scott E. Friedman SIFT, LLC 319 1st Ave North, Suite 400 Minneapolis, MN 55401 Add to Reading List Source URL: qr15.sift.net Language: English - Date: 2015-08-11 10:14:26 Graph theory Graph Line graph First-order logic Matching
262	Talk Time Conversation Plan Regions of the USA Welcome to Talk Time! How are you? How was your week? Play a group game: Talk to your classmates, and line-up in order of how long you have lived in Add to Reading List Source URL: eastsideliteracy.org Language: English - Date: 2011-04-15 14:58:24 Stereotypes Social psychology Discrimination Labeling theory Midwestern United States
263	Higher-Order Intersections in Low-Dimensional Topology Jim Conant ∗ , Rob Schneiderman † , and Peter Teichner ‡ ∗ University of Tennessee,† Lehman College CUNY, and ‡ UC Berkeley and Max-Planck-Institut f¨ Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2012-08-01 06:52:27 Surgery theory Knot invariants Differential topology 3-manifolds Geometric topology Link group Arf invariant Finite type invariant H-cobordism Manifold Link concordance Cobordism
264	Individuals, Universals, Collections: On the Foundational Relations of Ontology Thomas BITTNER1 , Maureen DONNELLY1 , and Barry SMITH1,2 1 Institute for Formal Ontology and Medical Information Science (IFOMIS), Saarland Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-08-12 11:36:24 Predicate logic Quantification Ontology Logic First-order logic Model theory Problem of universals Universal quantification Universal Net Quantifier
265	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:54 Models of computation Theoretical computer science Multiset Order theory Membrane computing Set Natural computing Path ordering Associative containers Algorithm P system Big O notation
266	Transformation and Analysis of Haskell Source Code λ ⊥ Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Higher-order functions Programming language comparisons Data types Functional programming Generalized algebraic data type Type theory Map Haskell Fold Yhc Hugs Conditional
267	Identifying Higher-Order Rationality Add to Reading List Source URL: terri.microeconomics.ca Language: English - Date: 2015-11-10 07:44:39 Game theory Rationalizability Rationality Strategic dominance Bimatrix game Rational choice theory
268	Abstracts Abstracts are listed in the order of presentation. Monday, 18 April Bin Packing: From Theory to Experiment and Back Again David S. Johnson Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2011-04-13 17:03:53 Logic in computer science Formal methods Philosophical logic Metalogic Formal verification Theoretical computer science First-order logic Modal logic Logic Mathematical logic P versus NP problem Automated theorem proving
269	ARTIFICIAL INTELLIGENCE 71 Probabilistic Logic* Nils J . N i l s s o n Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2007-10-21 17:27:03 Model theory Non-classical logic Probability and statistics Boolean algebra Predicate logic Probabilistic logic Modal logic First-order logic Probability Interpretation Inductive probability Vector logic
270	Spacelike hypersurfaces of constant higher order mean curvature in generalized Robertson-Walker spacetimes Debora Impera Università degli Studi di Milano Add to Reading List Source URL: gigda.ugr.es Language: English - Date: 2011-10-21 04:10:12 Curvature Differential geometry of surfaces Surfaces Theory of relativity Lorentzian manifolds Metric tensor Spacetime Ricci curvature Mean curvature Principal curvature

UPDATE